I tried to use mkvpropedit directly to change the default track, but I have found that it’s
not very convenient. Here the script that simplify this task:
https://github.com/wpdevelopment11/mkvdefault
I have written this for myself, but post it here, in case somebody else is interested.
It is a small wrapper over mkvpropedit and mkvmerge.