default configuration file for #15