Use github mirror of Command-T