ms22-21: change default mint sever base url for redbox.