Installs gcc-4.8 on linux machines