Fix reading of config.rktd file when in strange readtable.