Eurex Linux platform hit by technical glitch