Rename qrypt_dev0.py to qrypt.py