Files in tcc/patches/ of tip

Files in directory tcc/patches from the latest check-in