Use fprintf instead of format_decimal to print the number of embedded files in a core. clang was complaining about the narrowing cast of a pointer (even though the argument is just discarded, so not really unsafe), and anyway the printout looks much nicer this way. 😸
Check that the fopen of FLASHFILE really succeeded, so that we don't get a mysterious NULL dereference in fseek.
Two small fixes to the native built version:
fprintfinstead offormat_decimalto print the number of embedded files in a core. clang was complaining about the narrowing cast of a pointer (even though the argument is just discarded, so not really unsafe), and anyway the printout looks much nicer this way. 😸fopenofFLASHFILEreally succeeded, so that we don't get a mysteriousNULLdereference infseek.