The makefile does now actually use the generated dependencies for all testbed files as well