Core file writing tool (linux-specific)