make -f Makefile.usbdevs fails

[mel kravitz <melvin.kravitz%gmail.com@localhost>]

Hi,
Using 5.0.1_Patch (version with custom kernel), after editing
/usr/src/.../usb/files.usb and usbdevs,
make -f Makefile.usbdevs fails with:
rm -f usbdevs.h usbdevs_data.h
/usr/tools/bin/nbawk -v os=`uname -s` -f devlist2h.awk usbdevs
/usr/tools/bin/nbawk: floating point exception 8
 input record number 79, file usbdevs
 source line number 76
*** Error code 2
Any comments?
-Mel