Adding missing header in RFtextfile.h