Instead of providing a heavy .tar, wget and dpkg -i the .deb package from bitbucket, as indicated on http://www.seafile.com/en/download/