diff --git a/public/shell.te b/public/shell.te
index 44d8121..3ef1486 100644
--- a/public/shell.te
+++ b/public/shell.te
@@ -115,6 +115,7 @@
 allow shell proc_modules:file r_file_perms;
 allow shell proc_stat:file r_file_perms;
 allow shell proc_timer:file r_file_perms;
+allow shell proc_version:file r_file_perms;
 allow shell proc_zoneinfo:file r_file_perms;
 r_dir_file(shell, cgroup)
 allow shell domain:dir { search open read getattr };