fix erroneous pid_max sysctl parameter