my PHP version was actually 7.2, it was when I wanted to downgrade the PHP version to 5.5 that I ran into a few problems. I deleted the PHP 5.5 directory because I had installed it manually (make install), but when I type the PHP -v command, I still see the 5.5 version.