Fix tycho build