I have install php 7.1 already, and I install the new php version 7.2 in other place, the question is how to configure zephir to use php 7.2 to build extensions? I don't want to replace the php link in system's path.