remove dependency of quint