Fix ppc64el build, already used in ubuntu