Port makefiles to Linux (while still supporting Windows)