Correct instructions on installation of idemix.