fix a silly bug in test/CMakeLists.txt