hammerhead: Enable gcc 4.8