Fixing file names and Makefiles for linux.