The fundamental problem right now is, given an interpreter and no platform, the pex resolve method chooses Platform.current() instead of the platform of the given interpreter