Command key F7 in menu?

Given this simple program, I can't get F7 to work, but most (all?) of the other keys works as expected. I have checked that the terminal definition is correct.
(In a form input, using "on key" it works....)
What am I doing wrong?

Using Aubit 4gl 1.2_39, Linux.

main

      menu "Hit any key "
         command key (F1)
            display "F1"
            sleep 1

         command key (F2)
            display "F2"
            sleep 1

         command key (F3)
            display "F3"
            sleep 1

         command key (F4)
            display "F4"
            sleep 1

         command key (F5)
            display "F5"
            sleep 1

         command key (F6)
            display "F6"
            sleep 1

         command key (F7)
            display "F7"
            sleep 1

         command key (F8)
            display "F8"
            sleep 1

         command key (F9)
            display "F9"
            sleep 1

         command key (F10)
            display "F10"
            sleep 1

         command key (F11)
            display "F11"
            sleep 1

         command key (F12)
            display "F12"
            sleep 1

         command key (ACCEPT)
            display "ACCEPT"
            sleep 1

         command key (ESC)
            display "ESC"
            sleep 1

         command key (A)
            display "A"
            sleep 1

         command key (Q)
            display "Q"
            sleep 1

         command key ("!")
            display "BANG!"
            sleep 1

         command key (UP)
            display "UP"
            sleep 1

         command key (DOWN)
            display "DOWN"
            sleep 1

         command key (LEFT)
            display "LEFT"
            sleep 1

         command key (RIGHT)
            display "RIGHT"
            sleep 1

         command key (TAB)
            display "TAB"
            sleep 1

         command key (ENTER)
            display "ENTER"
            sleep 1

         command key (CONTROL-P)
            display "Control-P"
            sleep 1
      end menu

end main