Reference implementation of CustomIntegrator did not initialize the random number seed correctly