wrong filenames in CMakeLists.txt which cause the failure of testing test_run*