Fixed bug in uuid_str() that lopped off 4 digits of the uuid :-(