default travis settings the problem?