The PKGBUILD GDB modded for VxWorks