Use the currently pending patches for libc + nix. Since the process is taking longer that expected, this should avoid making redox wait for the merges.