FPGA_TOOLS_log: add fix for ISim errors on Ubuntu 12.10 and 13.04