anchor.diff:      file ->
         Modules = proplists:get_value(modules, Rest),
         Files = [Value|proplists:get_all_values(file, Rest)],
  -      LoadedFiles = compile_and_load(Files, Modules),
  +      {LoadedFiles, MoreOptions} = compile_and_load(Files, Modules),
         NewRest = proplists:delete(file, Rest),
  -      finalize(NewRest, [{files, LoadedFiles}|Acc]);
  +      finalize(MoreOptions ++ NewRest, [{files, LoadedFiles}|Acc]);
       Else ->
         PathAdd =
           case Else of
  
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:               opt_warn("file ~s shadows the default ~s", [File, Default])
            end,
            ok = concuerror_loader:load_binary(Module, File, Binary, Modules),
            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])
  