Mark gui.py as executable, so that it can be executed directly under linux.