Ну так и создавать производное, в общем-то малоприятное на слух и весьма странное - тоже не выход. Вместо традиционного, пусть кем-то и нелюбимого имени, ребенок получает еще и странное сокращение с массой вопросов "Ась, Машенькой зовут? Ага, так и запишем, Мария Петрова. Не Мария? А почему Маша-то? Марина? Марину так не сокращают, девочка". Далее, как говорится, везде.