EVN observations of the radio galaxy M87 following a TeV flare