fix guioptions in linux