Use 64-bit width `maxrss` field regardless of architecture