Addition to previous fix: Also update Mac OS X gui itself