Miscellaneous fixes to get GambitREPL app ready for app store