back to gcc 4.6 for now