update THANKS file