nix_system_cpu = {
  'ppc64' : 'powerpc64',
  'ppc64le' : 'powerpc64le',
  'ppc' : 'powerpc',
  'ppcle' : 'powerpcle',
}.get(
  host_machine.cpu_family(),
  host_machine.cpu_family(),
)