export also the DefaultConfig constructor so that users may extract the default config if they need it