I think this might fix gcc47-libs.
XXX: Proper infrastructure support for gcc48 might need more work.
Fix arm build.