Use themis 1.4

themis 1.4 を使うようにしてみました。