Fixing an issue where whitgl_int is a different size on windows to linux