phpctags is globally installed