Switch back to 4096-bit keys