Add missed --with-coverage