fix for install plugins.xml

catkin is difficult!