Don't get phploc from github by default