new version of file KOI5819 is causing the code to break