diff --git a/Jenkinsfile b/Jenkinsfile
index e4ad43d..5aa0520 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -37,14 +37,11 @@ pipeline {
                     sh '''
                     #!/bin/bash
 
-                    mkdir -pv /tmp/archisotmp
-                    cp -rv server /tmp/archisotmp/server
+                    echo -ne "I am user "
+                    whoami
+                    
+                    mkarchiso -v -w work -o out server
 
-
-                    mkarchiso -v -w "/tmp/archisotmp/work" -o /tmp/archisotmp/out "/tmp/archisotmp/server"
-
-                    cp -rv /tmp/archisotmp/out ./out
-                    rm -rf /tmp/archisotmp
                     '''
                 }
             }
diff --git a/server/profiledef.sh b/server/profiledef.sh
index bfacd66..436fca3 100644
--- a/server/profiledef.sh
+++ b/server/profiledef.sh
@@ -21,6 +21,4 @@ file_permissions=(
   ["/root"]="0:0:750"
   ["/root/.automated_script.sh"]="0:0:755"
   ["/root/.gnupg"]="0:0:700"
-  ["/usr/local/bin/choose-mirror"]="0:0:755"
-  ["/usr/local/bin/livecd-sound"]="0:0:755"
 )