Which files exactly need to be added or checked? All the system-dependent files. Take a look at the Makefile to see which are replaced by different files on different targets.