Nachdem jan99 Vista hat, schließ ich auch, dass eben die Datei doch eine Extension hat.
Soll er doch mal in der DOS-Box ein dir machen, dann sieht er die Extension der Datei.