Deployit version 4.0-xlrelease-12 (Florent’s checkpoint fix)