Updated download script
Added new config using gcc 4.7 and -O 3