Vivado_hls 2014.4 Ubuntu 14.04 x64 Vivado включает в себя ошибку

Я использую Vivado HLS 2014.4 (x64) на Ubuntu 14.04 x64.
Все работает в Vivado HLS 2012.
В Vivado HLS 2014.4 GUI и Synthesis работают, но компиляция testbench — нет.

Я получаю тысячи ошибок, как это:

Building file: /home/nic30/vivado/tb_axis_test.cpp
Invoking: GCC C++ Compiler
g++ -DAESL_TB -D__llvm__ -D__kernel -D__global -Dglobal -Dlocal -D__local -Dconstant -D__constant -Dprivate -D__private -D__private -I/opt/Xilinx/Vivado_HLS/2014.4/include/ap_sysc -I/opt/Xilinx/Vivado_HLS/2014.4/lnx64/tools/systemc/include -I/home/nic30/vivado -I/opt/Xilinx/Vivado_HLS/2014.4/include -I/opt/Xilinx/Vivado_HLS/2014.4/lnx64/tools/auto_cc/include -I/opt/Xilinx/Vivado_HLS/2014.4/include/etc -O0 -g3 -Wall -c -fmessage-length=0 -MMD -MP -MF"testbench/tb_axis_test.d" -MT"testbench/tb_axis_test.d" -o "testbench/tb_axis_test.o" "/home/nic30/vivado/tb_axis_test.cpp"In file included from /opt/Xilinx/Vivado_HLS/2014.4/lnx64/tools/gcc/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.6.3/../../../../include/c++/4.6.3/bits/stl_iterator.h:65:0,
from /opt/Xilinx/Vivado_HLS/2014.4/lnx64/tools/gcc/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.6.3/../../../../include/c++/4.6.3/iterator:63,
from /home/nic30/vivado/tb_axis_test.cpp:4:
/opt/Xilinx/Vivado_HLS/2014.4/lnx64/tools/gcc/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.6.3/../../../../include/c++/4.6.3/ext/type_traits.h:66:5: error: expected unqualified-id before numeric constant
/opt/Xilinx/Vivado_HLS/2014.4/lnx64/tools/gcc/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.6.3/../../../../include/c++/4.6.3/ext/type_traits.h:70:24: error: ‘__if_type’ has not been declared
/opt/Xilinx/Vivado_HLS/2014.4/lnx64/tools/gcc/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.6.3/../../../../include/c++/4.6.3/ext/type_traits.h:109:5: error: expected unqualified-id before numeric constant
/opt/Xilinx/Vivado_HLS/2014.4/lnx64/tools/gcc/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.6.3/../../../../include/c++/4.6.3/ext/type_traits.h:113:24: error: ‘__if_type’ has not been declared

Я думаю, что есть проблема с какой-то libc6-dev- *, но я не знаю.
У меня есть четкая установка системы, и я следовал официальному руководству по установке.
Кто-нибудь сталкивался с подобной проблемой?