Build: fix several problems with travis-ci