Some scripts needed for aleph export to BaseX conversion