Vivado HLS 2016.4+ crashes during HLS

Problem is probably related to output

awk: symbol lookup error: awk: undefined symbol: mpfr_z_sub

throughout the logs.