"make config" done Thu Dec  5 11:25:38 EST 1991
