machine profiles and xmodmap