change formatprg of php