sbcl/contrib/sb-executable