copy-paste error in prctl.h