force php to not include snmp when --without-snmp option is used