Specify OMPL version