phpci.yml: fix