good point, daniel!

the unzip may have populated the includes directory from scratch, i.e., not merging of existing directories/files with the directories and files being unzipped.