[basex-talk] BaseX download problem