Fixes regression

Recent changes in highlight-ctest.py broke the TravisCI integration.
This patch should solve the problem.