# CONFIG_PLIP is not set