Should be `polarssl.opt_prefix`