DeforaOS desktop file and desktop manager