Fix header
Remove Gverb source code