Change build system so that changes to Makefile.defs don't get tracked