use a faster UUID generator