Manpages of gcc-4.7 in Debian wheezy