Re: [PATCH] Fix an installation issue on ppc64le