Unter Ubuntu würde ich aber Kile + die Distri aus dem Repo empfehlen. Du machst das schon.