Make Debian menu work again
-rw-r--r-- 909 autostart.sh
-rw-r--r-- 7586 menu.xml
drwxr-xr-x - pipemenus
-rw-r--r-- 25350 rc.xml