apt-get dkms for travis