Seed random number generators on PHPWorker startup