tips for building on a Mac
Merge branch 'master' of https://github.com/cgnail/s2e