makefile now sets permissions for executables and man pages