Makefile-defs.linux: do not override user CFLAGS

fixes #87