Various commits for 4.7:
- make gcc 4.6 default
- add optimization parameter to lunch