SBCL: patch for new Glibc no longer needed