implement a clean way to read /prod/[pid]/stat