AutoHotKey scripts for mapping PC keys to OS X variants