coverage: set DEFAULT_TEST_TARGET to avoid using prove