plugins.xml: fix incorrect file name