You can use directly $php::config_dir here and below