Fixes in travis config