Change FILE to ofstream