Use php 5.3 by default for this box config