[FIX] windows install issue basex 7.8. Closes #784