- Make debug dump file names consistent (#9075)