printing the SDL version after the sbcl header