ctest is broken on linux