made walltime.py executable