The old version of nixpkgs let us get away with setting neither isNormalUser
nor isSystemUser but setting all of the things a normal user would get
directly.  The new version of nixpkgs demands one of these flags be set.  So,
set it, and remove all of the redundant settings that it implies.