minor build issues, testcases output formatting as HTML