/* option `xserver' not defined */