Figuring out just what header files are ubiquitous nowadays