Actually decrypt le ciphertext