dslab-epfl/s2e — pull request #30 by DonDiego (2013-03-25 21:16:49+00:00)
Title: Simple build fixes

... and now w/o stupid rebase mistakes ...