Rename 'copy_of_SipHash.php'