files: make allowances for 32-bit PIDs
Benno Schulenberg authored
This addresses https://bugs.debian.org/831636 reported by Christoph Biedl.
2eafe7bf