change mario lib git url