disable builtin coverage, for now