let
usage_gui = (
Filename
.basename
Sys
.argv.(0))^
" [options] [files]\n"