Update_version.sh and make build-debs

Bonjour,

Mike, now that make build-debs replaced the former build process (and it works like charm ;-), what becomes of the update_version.sh run that was supposed to be done inside the vagrant build virtual machine ?

Cheers