prova con $_SERVER['SCRIPT_FILENAME']