install.py: Update gcc to 4.8