Fix PHPCI config