Cmake 2.8.11 needed for Gecode.