Index: /trunk/src/VBox/HostDrivers/Support/Makefile
===================================================================
--- /trunk/src/VBox/HostDrivers/Support/Makefile	(revision 409)
+++ /trunk/src/VBox/HostDrivers/Support/Makefile	(revision 410)
@@ -64,4 +64,5 @@
 	include/iprt/thread.h=$(PATH_ROOT)/include/iprt/thread.h \
 	include/iprt/types.h=$(PATH_ROOT)/include/iprt/types.h \
+	include/iprt/avl.h=$(PATH_ROOT)/include/iprt/avl.h \
 	include/VBox/cdefs.h=$(PATH_ROOT)/include/VBox/cdefs.h \
 	include/VBox/log.h=$(PATH_ROOT)/include/VBox/log.h \