diff --git a/manage b/manage
index f152876..44e4c5d 100755
--- a/manage
+++ b/manage
@@ -29,6 +29,11 @@ source "${DIRECTORY}/api" || error "failed to source ${DIRECTORY}/api"
 EOF
 ) &>/dev/null &
 
+if dpkg -l box86 &>/dev/null ;then
+  sudo apt purge -y box86
+  sudo apt install -y box86-no-binfmt-restart
+fi
+
 mkdir -p "${DIRECTORY}/data/status" "${DIRECTORY}/data/update-status" "${DIRECTORY}/logs"
 #remove week-old logfiles
 find "${DIRECTORY}/logs" -type f -mtime +7 -exec rm -f {} \; &>/dev/null &