bug fix for cvs packaging