fixing small system-specific tidbits with MinGW