Upgraded BaseX to 7.7