make --core option to support dump-core and install