gcc47 4.7.4
gcc48: apply 10.10 patch

Fixes #547.