Mention that other distributions can use different names for the mingw32 architecture.