[klee-dev] Packaging klee on Nix - gtest broken?

[Morgan]

Hey there,

I like Klee and have been trying to package it in nixpkgs so more
people can reproducibly use it without resorting to things like setup
scripts or Docker. Here are the cmake flags I'm using:

https://github.com/NixOS/nixpkgs/pull/153014/files#diff-cb8d40a4e82c0c50ce6ec4031c12e06a4dac4bded86b9f01afcb2b4f22532dbbR46

Everything works including the system tests, which is a very good
sign. However, I'm having trouble with the unit tests that resembles
this problem:

https://github.com/google/googletest/issues/2157

Has anyone else run into this?

Thanks!
Morgan