Importing file I/O libraries from old STINGER