Fix LevelDB on really old systems