@jaw does this mean our CMakeLists somewhere is broken?