-added fix so that running execute_shell() from a ResolvedContext that was
loaded from disk, does write out another rxt file (optimisation).