# CONFIG_PPP_DEFLATE is not set
