How to get a core dump for a segfault on Linux