Switch back to GCC47HB.platypus for new build machine.