Makefile/linux: build fix