*): use polarssl sha1 api