Use different shortcuts for windows and linux