cmd-key-happy: build fix for Mavericks