Small change to support non sbcl platforms (Clozure CL)

To apply the #+ to all the file, introduce a break line between #+sbcl
and (progn

Currently works in ccl.