Fixing Travis configs