Reseed random in Watchdog, see also #a4cac7c