Added Export line to desktop-defaults-run to patch the gtk theme for the time being