use default luacov filenames