Somewhat safer reload of the externals file.