[Bug 828684] Release number from get_release_number.sh not used