let usage_msg = "Usage: "^(Sys.argv.(0))^" [options] [<SCM source file>]\n"