[php] file_get_contents behind a proxy?