Fix build error due to bad path generation in makefile for generated tools.
Implemented by JoeO
1 file changed