ref #93: config option defaults