....
Merge branch 'pigeon' of github.com:chriszhc/masstree into pigeon
fix bugs