Sería bueno que cuando uno mismo llegue a una solución, así como cuando ocupe una que le hayan mencionado, se especifique cuál fué para quienes en un futuro se encuentren con el mismo problema. Recordemos que esta es una comunidad de ayuda mutua.
Ahora bien, recomendable cambies $HTTP_POST_FILES por $_FILES (variables superglobales) y que no hagas uso de copy() pués es obsoleto, es su lugar ocupa
move_uploaded_file(). El nombre lo obtienes con
$_FILES['archivo']['name'].
Visita las FAQ hay sobre cómo subir archivos y otra sobre las diferencias de usar $HTTP_XXX_VARS, $_XXX y $xxx.
Un saludo!
