modifications that make s2e compiled on Mac OSX

see my commit please