fix CI configuration