[xilinxc]: Fix to last commit