o Change the Util menu to be named File in OSX. Fixes #4039.