Update 2014-04-01-how-to-debug-core-file.md