Add file used by CEDET