or just right click it and make it executable under the permissions tab
i mean, they don't know how to make a file executable so I doubt they'd know how to CD in the directory and change the permissions via the command line
