Just use 1.9.3 for now