Disable developer build for builtin vreen.
Open the right part of the system preferences for global shortcuts on Mavericks.
Add a different label for the mavericks shortcut settings.

Fixes issue #4002