Eurex tech overhaul won't wait for NYSE Euronext merger