1.2.4: will be tagged as "sbcl-1.2.4"