dslab-epfl/s2e — pull request #25 by DonDiego (2013-03-17 19:30:25+00:00)
Title: Build fixes

You know the drill by now - your weekly fix of fresh build system fixes ...