[FOLD] rippled hack fix for hyperleveldb includes