Apply Michael Gmelin's patch for clang and gcc 4.7

See http://www.zeroc.com/forums/patches/5647-patch-compiling-ice-clang-gcc4-7-a.html