Clean the right bits of the libc patch