If he does get gcc-4.6 to work, then package it and send into the repo as gcc-4.6, just like Debian. Over time, the gcc metapackage could probably be edited to request 4.6 instead of 4.2.