Some improvements of te Linux makefile