minor fix for phpci build tests