Checking more packages [generated sources]