print the version number in the signal handler before dying