dslab-epfl/s2e — pull request #28 by DonDiego (2013-03-25 18:41:00+00:00)
Title: Simple build fixes

Here is the pull request from last week, modulo the commit that breaks for you and plus three more small fixes.