Upgrade script: AJXP_VERSION should still be set to the previous version, so we can detect upgrade from stable or not.