A PKGBUILD for GCC modded wfor VxWorks 6.3 support