use itc4j (again) instead of homebrew version vectors