Avoid reloading a source file if it was not modified since it was loaded