Changed FILE to use a vector as a buffer instead of raw pointers. This allows...

Changed FILE to use a vector as a buffer instead of raw pointers. This allows us to remove the large majority of unsafe blocks from the code