fix ppc64le in %obs2debian