Fool around with platform to try fixing win32/x86