Move some variable assignments from Makefile.local to Makefile.config