fix plugin name for OMPL