https://blog.wongcw.com/2018/08/22/installing-phpvibe/