fixing CI installation