Prevent recompilation by a different python

Allowing different pythons to recompile can introduce
race conditions.