use gcc 4.8 even for clang to get newer headers