# CONFIG_DNET is not set