Add some fix to the debug-core-file.page