Make inst.py executable by default.