Fixed Travis-CI setup