fix CI script