Correct linking of modules for coverage testing