makefile: now we explicitly list all our header file names to prevent potential intervention of local symbolic links.