Updates to Portico so that stdint.h works across all compiler
versions across Windows.