generate_uuid() now generates more or less DCE-compliant uuid's