Fix bad CMakeLists.txt for at.cpp