Makefile.linux: update