Update for `win-randseed-location' fix.