Allow use of php 5.3