use gcc 4.6 for now