More small tweaks to jenkins-geonode-i18n.sh