Peter Korsgaard (gcc20/x86-64/Debian 7/gcc 4.7.2)