Wolfgang, sorry you bumped into this problem and glad that you have a workaround.  We only guarantee availability of backward compatible seeders and that calls to random() are reproducible.   The other methods are allowed to change so that we can make periodic improvements (i.e. using _randbelow to favor equidistribution over speed).  Marking this as not a bug and closing.