require all files to correctly compute coverage