[server release] allow release version to be different from seafile source version