Version 1.20140713. Update to HsOpenSSL-0.11