Set core_file_pattern appropriately to pick up core files