gcc 4.7.1 support for Genode