Fix parameters of prctl