Fix dump file name