use gcc 4.8 as well