mochi2_zk is not found!