More stuff to Makeconfig.mk