uuid plugin: fix inclusion of libhal.h