some gcc versions that can compile for ppc64 identify as powerpc, so just merge the two options