fix shortcut on Linux