make sure only 1.9.3 works