Fix bug in tcc