That is wrong, I'm from Mauritius and that is definetly wrong the story has nothing to do with that and her mountain is called Pieter both because it's named after the first governer of the Dutch East Indies.
One of my best friends is from Mauritius and she is moving back there this summer, but she told me the story and it sounded different from the one here. She heard it from her family on the island.