Use -g flag to get debug symbols in leveldb
Merge branch '1.3'