Get rid of old files
Lazily install all headers as before.