1 files changed, 3 insertions, 1 deletions
diff --git a/src/lib/std.rc b/src/lib/std.rc
index 8098a4e9..a339fd85 100644
--- a/src/lib/std.rc
+++ b/src/lib/std.rc
@@ -27,7 +27,9 @@ mod util;
 
 auth io = unsafe;
 auth fs = unsafe;
+auth os = unsafe;
 auth os_fs = unsafe;
+auth run = unsafe;
 auth _str = unsafe;
 auth _vec = unsafe;
 auth _task = unsafe;
@@ -52,9 +54,9 @@ alt (target_os) {
         mod os_fs = "posix_fs.rs";
     }
 }
+mod run = "run_program.rs";
 mod fs;
 
-
 // FIXME: parametric
 mod map;
 mod deque;