[PATCH] sysctl.conf: include PID in file names of generated core dumps