[xilinxc]: Compiler should now choose the right clock