I tried installing phalcon dev tool and when using
$phalcon command I got
Php: symbol lookup error: Php: undefined symbol: rl_on_new_line
I was running an outdated version of libedit on My system.
Updating it clear that error:
$ phalcon
Php: symbol lookup error: Php: undefined symbol: rl_on_new_line