add missing setSeed() function even though it is a null-op here