Add missing headers, and (gitile git) to Makefile

Julien LepillerSat Oct 03 19:31:53+0200 2020