Correcting TinderBox-Mac submodule URL