Re-added leveldb formula with updated gcc47 dependency