Version number update in main()