il nome del file sul server lo trovi con

$_FILES[userfile][tmp_name];

d'altronde non avrebbe molto senso avere il path locale al client