Question on monkey-patching paramiko for FIPS