No uses
$HTTP_POST_FILES, mejor usa
$_FILES
Los indices de la matriz $_FILES['archivo']:
tmp_name = Nombre (y ruta) del archivo temporal
name = Nombre real
type = Tipo de archivo (MIME Type)
size = tamaño del archivo
error = codigo de error (0=No hay error)
Mas info en el manual de
PHP para subir archivos