Also I forgot to mention: I would recommend putting your GCC 4.7 based port on e.g. github so that other people can benefit from it, since putting this code base in gcc.gnu.org isn't on the table as per David's emails. I think that would be the best compromise. Arno