fix history in core dump for git
disable core_dump (not working in release mode)
version 2.2