Index: uspace/lib/drv/generic/driver.c
===================================================================
--- uspace/lib/drv/generic/driver.c	(revision 9ab27144f671d13ed76e2e885acabcdcd64ce303)
+++ uspace/lib/drv/generic/driver.c	(revision 5df69cbc248f70972f59fa08e8136df8f6d965b4)
@@ -45,5 +45,5 @@
 #include <stdio.h>
 #include <errno.h>
-#include <bool.h>
+#include <stdbool.h>
 #include <fibril_synch.h>
 #include <stdlib.h>
Index: uspace/lib/drv/include/usbhc_iface.h
===================================================================
--- uspace/lib/drv/include/usbhc_iface.h	(revision 9ab27144f671d13ed76e2e885acabcdcd64ce303)
+++ uspace/lib/drv/include/usbhc_iface.h	(revision 5df69cbc248f70972f59fa08e8136df8f6d965b4)
@@ -42,5 +42,5 @@
 #include "ddf/driver.h"
 #include <usb/usb.h>
-#include <bool.h>
+#include <stdbool.h>
 
 int usbhc_request_address(async_exch_t *, usb_address_t *, bool, usb_speed_t);