Fix slow random number generation routine in Windows using PHP 5.3.x