* write disabled defines to makefile.local and config header file