[Bug 723708] /proc/<pid>/stat does not show filename but path (was: checkproc returns wrong values)