Rather than hardcoding a config which we always forget to update, generate it
from the default config.