Fixed Travis-CI settings