issue #27: grabKey/ungrabKey use ButtonMask instead of KeyMask in their type signature