Here's a stars.dat that contains stars from the Hipparcos and Tycho-2 catalogues, with distances from Gaia DR2 or Hipparcos parallaxes. All in all, it has 2,448,220 stars. This is close to the maximum amount of
real stars that can be added to Celestia, since the stars.dat format only works for the TYC and HIP catalogues, which only have about this much stars.
To make this, I simply tweaked my buildstardb.pl file enough that it could read data from a different source. (Actually, my buildstardb.pl is an already modified version of what's in the source code.) It reads data from the usual sources, but also CDS'
XMatch tool, which allows for relatively quick cross-matching between two tables. So I did "Tycho-2" for the first table, and "SIMBAD" for the second table. The resulting table is about 1 GB in size.
Since XMatch doesn't allow me to include the parallax error, many of the Tycho stars included may have less-than-ideal parallaxes. A few may even be from other galaxies.
Any feedback is welcome, though I should note that it took my computer over 20 minutes to build these two files, so it might take a long time for me to implement suggestions.