[Serusers] Using sems from cvs with ser-0.8.14