Make check.py executable