1.3.1: will be tagged as "sbcl-1.3.1"