It is a good question. As I know, there is no general way for this purpose, that's why I wrote this. If you really concern about add it in this project, I will suggest to create a new repository in github like "phpctags-builder" for this purpose. Then, you can download it on demand. 

But, I am not sure it worth to do, because it just a small tool.