adding missing auto-generated EF files