openssl 64-bit with heartbleed fix