cocoa monitor fix regarding the handling of dead keys (Joachim Henke)