The official version of manuel has now the fix for which we needed a dev
version.

Pick the latest python2 compatible version.