maint: build gcc-4.8.0 by default