quick fix of broken build due to new overload of hasProperty in nix
Merge pull request #108 from jgrewe/master

quick fix of broken build due to new overload of hasProperty in nix

LGTM