Travis: actually we still need our own SBCL backport here.