Fix the inconsistent file name in plugin.xml