Bugfixes and extensions to UUID library