Fix filenames in plugin.xml