fix tycho-version property