Add a workaround for CMake issue 0009220.