Update gcc-vxworks-install-debubuntu