Use dot reporter for themis