Generate the debian config during build (#4444)

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