diff --git a/distr/Action b/distr/Action
index 0b3383e25..ba518456b 100644
--- a/distr/Action
+++ b/distr/Action
@@ -17,6 +17,14 @@ end
 name "ego share pop_push file"
 dir util/ego/share
 end
+name "h/local.h"
+dir first
+action "cp local.h.src ../h/local.h"
+end
+name "h/em_path.h"
+dir first
+action "cp em_path.h.src ../h/em_path.h"
+end
 name "create .distr file for interpreter"
 dir util/int
 end