does this script get installed when user runs `phpbrew init` ?