We discussed this earlier with @tampakrap and decided this was ok. `gcc-config` is only for gentoo.