Use global config.mk when building the RES website.