Check-in clean versions of these files