non, pas de solution pour l'instant.
le message d'erreur vient du fait que tu as mis a jours ta dsi et cette mise a jours (la 1.4)bloque les linkers.
la plupart des autres linkers ont sortis une mise a jour pour la 1.4, mais pas encore le dstti.