Fixed #2: Unicornscan fails to build on Ubuntu-12.04.2