BaseX: Avoiding CHECK command because it failed on Linux (no idea).