Dumping process memory on Linux