Two years later... This is finally done! In the end, refactoring my changes to SimpleIni.h into a new local file allowed using SimpleIni as is, without modifications... Yay!
Fixed upstream with [1]. Best, JL [1] https://github.com/MRPT/mrpt/pull/1099/
