{
  pkgs ? import <nixpkgs> { },
  username,
  domain ? "sso.dgnum.eu",
  ssid ? "DGNum 5G prototype (AX)",
  password,
}:
pkgs.runCommand "connection-${username}-android-profile.xml"
  {
    SSID = ssid;
    USERNAME = "${username}@${domain}";
    PASSWORD = password;
  }
  ''
    substitute ${./android-profile-template.xml} $out \
      --subst-var SSID \
      --subst-var USERNAME \
      --subst-var PASSWORD
  ''