Do real encryption using MachnieKey.
Fixes #626