(frontend) Additional param to argc/argv for iOS/OSX ports