Correction to travis conf following 8063f8e.