minor fixes for phpci build tests