Install gcc-4.7 even on clang (for libstd++4.7)