php-uuid is a stub port
