workaround desyncs due to different SharedRandom

- use UTC time zone
- don't convert from long to int
- hash instead of using the time itself