--- a/project_files/hwc/rtl/fileio.h	Sat May 11 04:58:11 2019 +0200
+++ b/project_files/hwc/rtl/fileio.h	Sat May 11 20:31:51 2019 +0200
@@ -78,4 +78,10 @@
 char *      fpcrtl_getCurrentDir(void);
 #define     fpcrtl_GetCurrentDir                        fpcrtl_getCurrentDir
 
+Int64       fpcrtl_fileSize(File f);
+#define     fpcrtl_FileSize                             fpcrtl_fileSize
+
+bool        fpcrtl_deleteFile(string255 filename);
+#define     fpcrtl_DeleteFile                           fpcrtl_deleteFile
+
 #endif /* FILEIO_H_ */