diff --git a/refpolicy/policy/modules/system/corecommands.te b/refpolicy/policy/modules/system/corecommands.te
index 801da90c..0ea0bd71 100644
--- a/refpolicy/policy/modules/system/corecommands.te
+++ b/refpolicy/policy/modules/system/corecommands.te
@@ -12,6 +12,10 @@ policy_module(corecommands,1.0)
 type bin_t;
 files_type(bin_t)
 
+ifdef(`targeted_policy',`
+	typealias bin_t alias { procmail_exec_t dmesg_exec_t loadkeys_exec_t };
+')
+
 #
 # sbin_t is the type of files in the system sbin directories.
 #