Redox target fix#1422

newpavlov wants to merge 2 commits intorust-lang:masterrust-lang/libc:masterfrom

newpavlov:redox_fixnewpavlov/libc:redox_fixCopy head branch name to clipboard