These source files can be regenerated if you have libCrash. This can be done with: make rebuild