OK, the only remaining thing I can think of is a Pex bug. That version of Pants uses Pex 1.6.7. I'll see what got solved in changelogs from 1.6.8 - 1.6.12 - the last Pex before Pex 2.x.