Rename 'random_int.php'