Also set executable permission on the linux executables.