play_video.py: make the file exectuable