Fix a compiler warning in php_rand.h