keeps UUID generator too, but replaces internal use with simpler one