make isoenv.py executable as either isoenv or in_env