Fortunately for us, version 6.1.3 was released recently and compiles splendidly without `-DCMAKE_CXX_FLAGS="-stdlib=libstdc++"`. No need for a patch after all.