everything.h should be auto-generated by Makefile