Added core-dump generation for debugging purposes.