Can someone weigh in on this? Is it work adding a 32-bit option if it forces the use of GCC?