ppc64le/linux-1.0.0: links for pint