Definitively drop PHP5.3.