build with coverage enabled; just create the report afterwards