Fixing Travis configs #3