XML checking stuff is getting complex... maybe we should create a subdirectory within scripts/ to move xmlChecker.sh, xmlExtractor.py and envVarSubstitute.sh to it (and adjust makefile, of course). What do you think?