small tweaks to fix the filemanager packaging, I hope.