shindy_jtx is not found!