Fixes scroll wheel support with modifiers for GNOME Terminal