is it possible/reasonable to build pex binaries without the .pex extension?