Use version 0.3.7.1.