Linux compilation: makefile.