CI page: forgot to update the centos etc. instructions