buildman: support newer gcc versions from kernel.org