[latte-integrale/f20] There is a dist tag for a reason; use it on the 4ti2 packages.

[Jerry James]

Summary of changes:

  79967b2... There is a dist tag for a reason; use it on the 4ti2 packag (*)

(*) This commit already existed in another branch; no separate mail sent