CI: writing the version number into a property file