[basex-talk] Windows fast, linux very slow