Improvements to ghc-ios script