Add pre-installed header files, ugly but works for now