Toying with travis-ci: fix dependency installation