Fix #45, print_version()