Fix version number.

3 jobs for master in 16 minutes and 6 seconds (queued for 1 second)