debian/0001-desktop-exec.patch
