Adding some Linux-specific UUID library code