Сценарий GAWK - Распечатать имя файла в разделе BEGIN

Я пишу сценарий gawk, который начинается с

#!/bin/gawk -f
BEGIN { print FILENAME }

. Я вызываю файл через ./ script file1.html , но сценарий просто ничего не возвращает. Есть идеи?