Making the standard header files available on Windows