Return something from read_externals() to keep gcc happy.