This nocov should not be needed since File.numpages() is really covered...