Default to using 1.9.3.