[Concept] [PATCH 1/3] buildman: Fix coverage test configuration