fix openravesupport (from john)