(following files are irrelevant to gxe except xprint.sh)