Switched to a local OMPL checkout for BIT*.