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