let parse_cmdline init_status =
if not (already_configured [CmdLine] init_status) then begin
let includes = ref [ BuildTimeConf.stdlib_dir ] in
let parse_cmdline init_status =
if not (already_configured [CmdLine] init_status) then begin
let includes = ref [ BuildTimeConf.stdlib_dir ] in