making verify.py executable