Further build fixes when EXTPROT_DIR/LEVELDB_DIR are defined.