Use config.mk when building as part of the RES website.