+ MODIFY the ctags command for the Mac OS.
+ Change ctags shortcut from F12 to F10 to avoid the shortcut conflict
on Mac OS.