next try for fixing the build bug: disable coverage