version info dump: only if enable-file exists
custom sys.excepthook. special handling for SIGINT