Bring back some files incorrectly removed during cleaning.