Change splint to gcc.
upate wiki shortcut.