gcc 4.7: bump PR properly