Re: [Serusers] Using sems from cvs with ser-0.8.14