Readme reports that it adds EF if not already present