This is required for issue852.

I pushed the changes now.

Augusto, in our workflow we close issue branches before merging them. I fixed
this in your bitbucket repo but I had to strip the merge commit. To avoid any
problems with your local clone, you should execute
  hg strip bf80515439c6
  hg pull -u

Augusto, have you pushed your changes to the main repository? I can't see them 
there.

Thanks, Augusto! If it works, please set this 
to resolved.

I tested the release64 build on the Windows machine and it still works after the
changes proposed by Florian. I just merged the pull request.

Augusto wrote a patch for this and I left some comments on bitbucket, mostly
about making the find script general enough that it could be re-used outside of
Fast Downward. 

The pull request is here:
https://bitbucket.org/gutoblaas/downward/pull-requests/3

If it works on the buildbot, we can merge it.

CMake uses the find script to locate CPLEX. This requires special cases for each
Visual Studio and CPLEX version. The current script only handles cases up to VS
2013 and CPLEX 12.62. Here we want to update it to also handle VS 2015/2017 and
CPLEX 12.8.