Fix deb repository for travis-ci