Dione with using the CMake binaries (in Travis-CI) rather than recompiling them ourselves (closes #367).