Add addrandseed
Fix includes