fixes for linux-ppc64 target