adding EDMX stuff