Is Dietpi for developers

I have issues with corrupts files now so I am unable to check /usr/lib/gcc/arm-none-eabi/7.3.1/include/stdint.h line 9 column 16?
Apparently this is a known problem https://dietpi.com/forum/t/any-way-to-check-for-file-system-corruption/3217/1

Re-installation of gcc is not an option so I will have to run dietpi-device_manager and run a root file system check