Here, which version should I be using(for 1.3.7), or neither?