yesod keter: support for new config file format