basex 7.6 compatibility: explicit cast of $DB to xs:string for db:open()