Unneeded generated file.