Add gcc-4.8 config to vagrant file