Try to fix travis problem