Index: /trunk/src/VBox/Additions/linux/installer/vboxadd.sh
===================================================================
--- /trunk/src/VBox/Additions/linux/installer/vboxadd.sh	(revision 39755)
+++ /trunk/src/VBox/Additions/linux/installer/vboxadd.sh	(revision 39756)
@@ -494,4 +494,6 @@
     BUILDINTMP="$MODULE_SRC/build_in_tmp"
     DODKMS="$MODULE_SRC/do_dkms"
+    chcon -t bin_t "$BUILDINTMP" > /dev/null 2>&1
+    chcon -t bin_t "$DODKMS"     > /dev/null 2>&1
 
     setup_modules