Fix executing the file under Linux