L4 Loader Problem: tftp server doesnt exist

[mcs082803 at cse.iitd.ernet.in]

hi

I am a student at IIT Delhi. In the doc of the loader, I was looking at
the example that loads the hello program using the L4 loader, and it says
that the menu.lst should be something like

 # menu.lst

 set ND       = "(nd)/tftpboot/drops"
 set BIN_PATH = "$(ND)/bin"

 title Hello World
 kernel $(BIN_PATH)/bootstrap
 modaddr 0x02000000
 module $(BIN_PATH)/fiasco -nokdb -serial -serial_esc
 module $(BIN_PATH)/l4v2/sigma0
 module $(BIN_PATH)/l4v2/roottask
 module $(BIN_PATH)/l4v2/names
 module $(BIN_PATH)/l4v2/log
 module $(BIN_PATH)/l4v2/dm_phys
 module $(BIN_PATH)/l4v2/simple_ts
 module $(BIN_PATH)/l4v2/tftp --server=192.168.0.2
 module $(BIN_PATH)/l4v2/loader $(BIN_PATH)/l4v2/hello

the problem is that in the l4v2 directory there is no binary with the name
tftp. I find all others though.
Is it due to some problem in compilation or building

Regards,
Ashish