make "make check" work on MacOS
Merge pull request #95 from regehr/mac-fix

make "make check" work on MacOS