Fix Makefile for ppc64 (bug #3111)