File->Run now works on Linux. This fixes #4