Oops, remove the correct file via 'make upgrade' (gcc41 -> gcc34).