Manually finding the core dump