1.0.42: will be tagged as sbcl_1_0_42