travis: more recent sbcl