Change extension for Linux 32-bit x86 exports to x86_32

platform/linuxbsd/export/export.cpp

@@ -42,7 +42,7 @@ void register_linuxbsd_exporter() {
 	logo->create_from_image(img);
 	platform->set_logo(logo);
 	platform->set_name("Linux/X11");
-	platform->set_extension("x86");
+	platform->set_extension("x86_32");
 	platform->set_extension("x86_64", "binary_format/64_bits");
 	platform->set_release_32("linux_x11_32_release");
 	platform->set_debug_32("linux_x11_32_debug");