config_query_option GNOME_MPLAYER_GIO "Use GIO for file I/O?" y \
                    "--with-gio" "--without-gio"
