Use external library for seeding random number generator for
reproducible maps.