Add ppc64 ARCH to correct binary filename on 64-bit PPC Linux