Fix compilation on Mac OS (not static binaries supported there)
Merge branch 'master' of https://github.com/jbransen/problemtools into jbransen-master
Merge branch 'jbransen-master'