Fix user switching on Debian

The GDM process is called gdm3.