Changed some dependencies in the GNUmakefile to require the new .gh headers.
Changed some dependencies in the GNUmakefile to require the new .gh
headers.


willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast