Use new print_version