Use 5.0.2 by default