* shortcut handling under linux