Fix LevelDB installation on Travis