1.    993  00:11:07 -- Finished tests in exp-bbv/tests/amd64-linux (in 1 sec) --------------
2.    994  00:11:07
3.    995  00:11:07 == 870 tests, 0 stderr failures, 0 stdout failures, 0 stderrB failures, 0 stdoutB failures, 0 post failures ==
4.    996  00:11:07
5.    997  00:11:07 ...checking makefile consistency
6.    998  00:11:18 ...checking header files and include directives
7. *** File coregrind/m_aspacemgr/priv_aspacemgr.h must not include pub_tool_mallocfree.h
8. make: *** [Makefile:1504: regtest] Error 1
9.