use generated .mhs file