prctl does not work as well as this. Revert changeset 2731.