Another try at gcc-4.8