Add the import for AES128CTR.