mosml: Use git:// instead of https://
mosml: Bump pkgrel, fix quoting and remove temporary variable