Fix coveralls PHP config.