updated to latest libsdp_ompl_gui