Switch to gcc: 4.93 s