I'm trying to install phalcon devtools on my mac i can see phalcon on my phpinfo() so i beleve the Extention and the installation is right other wise it will not be on phpinfo() but when i try to open phalcone from the terminal i got a messege that phalcon does not exist. now is that the installation problem or what is actually the problem. any help will be appreciated