use gcc 4.6 as default compiler