added missing Paths_clafer dependency