issue 180: fixed handling of the alt gr key on international keyboards