manifest file for smultron