fix alt key problem on mac os x