Adding more config files to the dotty manifest