anchor.diff:                opt_warn("file ~s shadows the default ~s", [File, Default])
             end,
             ok = concuerror_loader:load_binary(Module, File, Binary, Modules),
  -          compile_and_load(Rest, Modules, [File|Acc]);
  +          NewMoreOpts = try Module:concuerror_options() catch _:_ -> [] end,
  +          compile_and_load(Rest, Modules, {[File|Acc], NewMoreOpts++MoreOpts});
           error ->
             Format = "could not compile ~s (try to add the .beam file instead)",
             opt_error(Format, [File])
  
positive.code:       case beam_lib:chunks(File, []) of
          {ok, {Module, []}} ->
            ok = concuerror_loader:load_binary(Module, File, File, Modules),
            compile_and_load(Rest, Modules, [File|Acc]);
          Else ->
            opt_error(beam_lib:format_error(Else))
        end;
  
negative.code:   end.
  
  compile_and_load(Files, Modules) ->
    compile_and_load(Files, Modules, {[],[]}).
  
  compile_and_load([], _Modules, {Acc, MoreOpts}) ->
    {lists:sort(Acc), MoreOpts};
  compile_and_load([File|Rest], Modules, {Acc, MoreOpts}) ->
    case filename:extension(File) of
      ".erl" ->
        case compile:file(File, [binary, debug_info, report_errors]) of
  