Change the Travis configuration because of deprecated warnings.