Take some differently-named options for device and the XKB options. These should really be better-handled, but eh.