Update version number for 5.25.80

GIT_SILENT
3 jobs for master in 3 minutes and 10 seconds (queued for 5 minutes and 12 seconds)