use istanbul coverage instead