tycho: fix build on Jenkins