added gcc 4.8 flags