Make different threads use different FILE*'s