Fix broken x64 bit links for openssl