a better and correct default for the ephem/obs config files