OS X上与MAMP不同的控制台php版本

Question

我已经在家里创建了一个.bash_profile，现在它包含以下两行：

export MAMP_PHP=/Application/MAMP/bin/php/php7.2.7/bin
export PATH="$MAMP_PHP:$PATH"

但是终端中的php -v命令仍然显示与MAMP不同的版本。我已经重新启动了终端和MAMP。

有什么主意吗？