Another cleanup on makefile.linux