dslab-epfl/s2e — pull request #54 by cgnail (2013-07-31 07:38:22+00:00)
Title: modifications that make s2e compiled on Mac OSX

see my commit please