makefile coverage now uses kissxml