Eliminate the rest of FILE* usages