it try to replace some string and get a Null ptr, its a internal operation in the IDE no tool from us is involved at this point.
may the IDE not like some config in the board.txt or else but the release version work. I think it need to be fixed in the Arduino IDE not in the core.