fix travis problem