[xilinxc]: Bug related to last commit