Makefile.linux tweaks
Makefile renaming for easier multiplatform dev