BaseX setup procedure, specific to our project