--- mdec/run.orig	2021-01-24 15:20:47.389867332 +0100
+++ mdec/run	2021-01-24 15:21:16.773046729 +0100
@@ -68,4 +68,8 @@
 strip a.out
 cp a.out /usr/mdec/hthp
 
+as rauboot.s
+strip a.out
+cp a.out /usr/mdec/rauboot
+
 rm a.out