CryptoContextCtrl.h(3) on Linux

The text 1a9eb82ea2a3, as Debian 9 (Stretch) shipped it.

CryptoContextCtrl.h(3) on Linux now