FIXME: quick CMakeLists hack for oldtest