linux: make the exe executable