4 files changed, 20 insertions, 3 deletions
diff --git a/src/file/authfile.cil b/src/file/authfile.cil
index a458691..a18fabd 100644
--- a/src/file/authfile.cil
+++ b/src/file/authfile.cil
@@ -19,7 +19,7 @@
 
       (typeattribute typeattr)
 
-      (call exception.type (typeattr))
+      (call file.exception.type (typeattr))
 
       (call .xattr.associate_fs (typeattr))
 
diff --git a/src/file/datafile/execfile.cil b/src/file/datafile/execfile.cil
index e7926a2..36a66bc 100644
--- a/src/file/datafile/execfile.cil
+++ b/src/file/datafile/execfile.cil
@@ -20,6 +20,15 @@
       (macro map_all_files ((type ARG1))
 	     (allow ARG1 typeattr (file (map))))
 
+      (macro subj_range_transition ((type ARG1)(levelrange ARG2))
+	     (rangetransition ARG1 typeattr process ARG2))
+
+      (macro subj_role_transition ((role ARG1)(role ARG2))
+	     (roletransition ARG1 typeattr process ARG2))
+
+      (macro subj_type_transition ((type ARG1)(type ARG2))
+	     (typetransition ARG1 typeattr process ARG2))
+
       (macro type ((type ARG1))
 	     (typeattributeset typeattr ARG1))
 
@@ -52,6 +61,12 @@
 	(macro map_file_files ((type ARG1))
 	       (allow ARG1 file (file (map))))
 
+	(macro subj_range_transition ((type ARG1)(levelrange ARG2))
+	       (rangetransition ARG1 file process ARG2))
+
+	(macro subj_role_transition ((role ARG1)(role ARG2))
+	       (roletransition ARG1 file process ARG2))
+
 	(macro subj_type_transition ((type ARG1)(type ARG2))
 	       (typetransition ARG1 file process ARG2))
 
diff --git a/src/file/secfile.cil b/src/file/secfile.cil
index 199ded5..cef5825 100644
--- a/src/file/secfile.cil
+++ b/src/file/secfile.cil
@@ -19,7 +19,7 @@
 
       (typeattribute typeattr)
 
-      (call exception.type (typeattr))
+      (call file.exception.type (typeattr))
 
       (call .xattr.associate_fs (typeattr))
 
diff --git a/src/file/tmpfile.cil b/src/file/tmpfile.cil
index 1d84880..a0e91c1 100644
--- a/src/file/tmpfile.cil
+++ b/src/file/tmpfile.cil
@@ -3,7 +3,9 @@
 
 (in tmp
 
-    (blockinherit .file.tmp.template))
+    (blockinherit .file.tmp.template)
+
+    (call .rbacsep.exempt.obj.type (file)))
 
 (in file