Fixing the Linux executable