Fixed Travis-CI file