Add workaround for some (apparently broken) gcc versions