Bump patch level for new Mac App Store submit attempt

For some reason the 4.2.10013 build has got stuck in Apple's machinery
or something, and doesn't show up in iTunes Connect, it is not
selectable on the app's page. Let's see if submitting a new build will
help.

Change-Id: I1a38337af7d6b75654ce9fbe06a6d95c20a97056
Let's use -O3

Change-Id: Id7d068df3cabe9e7c01cc90ffdc61fa325f79dab
We need the gengal program at build time

But don't bother shipping it on OS X, at least not in the sandboxed
(App Store) case.

Change-Id: Id73bef1ba71d126c2d2962fe846e9c31963d6c24