Have travis run 4.0.2