To quiet those warnings from make about not being able to delete
directories.