Use php5.3.0 instead of php 5.3.2 in composer