Peter Korsgaard (gcc20/Debian 7/gcc 4.7.2)