[ricci/f13/master] (5 commits) ...Updates sources

[Fabio M. Di Nitto]

Summary of changes:

  7aaab58... Updated to ricci-0.18 (*)
  b40d45e... Fixed tarball (*)
  dc169e1... Build fixes (*)
  3b991b3... More build fixes. (*)
  2081d51... Updates sources (*)

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