10-coredump-debian.conf