Rename 'key-dist.php'