Re: [SGI, Linux, Urgent, 21.1] Fix broken dumping on Linux machines