k3-sle: Fix dependencies in fr.inria.diverse.k3.sle