Sorry, the last patches contained an error: (string-append "release-"
"2.3.1") insntead of (string-append "release-" version), please
consider these ones instead: