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