Change default config file name

Since we've totally changed the format.