Update php.ini on travis builds