ami.nix: better package names