1.0.13: release, will be tagged as sbcl_1_0_13