idemix_terminal package rename