Update readfile.rs