Add 5.3.25 and 5.4.15.