Add file to CMakeLists (file added in r173505)