Update version because of armv7 inclusion

Otherwise reproducing the old version will fail.
3 jobs for armv7 in 74 minutes and 47 seconds (queued for 9 seconds)