Files useful for building W32 versions.