Fix Redox build, apparently broken by #42687#42976

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

ids1024:redoxfixids1024/rust:redoxfixCopy head branch name to clipboard