Configuring PHP on the CI machine