Finally fixed the git (9999) version of seafile