Oops, forgot to update CMakeLists for the rename