updated Tycho 0.20.0 build fixes