Platform:getRandom() produces same sequence

The random number generator used by Platform::getRandom() is initialized with the same seed each time the engine is started. Thus it produces the same sequence of random numbers. Is this desired, or should it be seeded with something that varies?