0001-Optionally-save-core-dumps-as-plain-files.patch