Build 2.1.3 again

(The older build for 2.1.3 is too old.)