libstdmmr/NRCPrefix not found