Fixbug: overriding CCFLAGS when passed to WriteMakefile