pull in gcc 4.7 for devices that require it