Added proxy setting in config.php-dist