another try to fix travis