gcc 4.9 not available yet; switching back to 4.8