ah thanks. Shall I add it to gcc47, too? There is a `--HEAD` available, too.