added some utility code for UUID conversion