do not adjust core file pattern (seems disallowed)