waf: disable pdf generation by default..