Fix CI config: forget to use sudo to run apt-get.