Misc: tuning travis-ci setup