Fix octomap

The octomap repo changed and the patch needed to be adapted.