ppc64le/linux: links for pint