ctest test run for travis-ci