[xilinxc]: Fixed some cross-platform related bugs