another travis commit (travis-ci uses uses the elder ubuntu 12.04, so we need to compile leveldb)