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

Next try, should work with makefile and build directory in arbitrary, different locations.