prefer sys/prctl.h over linux/prctl.h#4018

rocallahan merged 1 commit intorr-debugger:masterrr-debugger/rr:masterfrom

GitMensch:patch-5GitMensch/rr:patch-5Copy head branch name to clipboard