config.mak change should imply recompile (dependency in makefile)