Modifications and xkb_config