corrected linux sbcl slimv swank cmd