no DESKTOP designator any more!