Fixes in travis configs