Update tools/config.mk