dslab-epfl/s2e — pull request #34 by DonDiego (2013-04-09 13:38:32+00:00)
Title: small fixes for guest tools

Here's a bunch of small stuff I noticed after playing with the guest tools again.