cipherlib.py: Filename was renamed.