gcc42: fix build via a patch from arch