Problems with the euclidean formulation of heavy quark effective theories