EF6 and VS2012