cdx.o: No such file or directory

[Joshua-Hwang]

During compilation via ./build make -k clean runs which deletes a variety object files.
In the makefiles we only aim at generating .tce files so the object files associated with the compilation of the .tce files did not get regenerated if the .tce files weren't deleted

This only seems to be a problem with the compilation of cdx.tce

Performing make clean destroyed all the .o files but not the .tce files so that complete compilation could start again.

Steps to reproduce:
Running on kroc-1.6

1. ./build --prefix=...
2. ./build --prefix=...
3. Compilation fails

[Joshua-Hwang]

The current solution is to delete the cdx.tce file manually so the files can be generated properly