I've replaced 'builtin' with 'default'. I've also added the name of the default config file to the header line. If you want I can create another pull request with this change for the other targets.