make OSX 10.8+ with macports use gcc48 instead of apple-gcc42, fix #3151