Addeed even more files to make ./configure work