Fix module definition for mPolarSSL