tycho: Fix acceleo build in z3 project