Travis script: ctest -V