Update travis for 1.2: