Workaround for Ubuntu 12.10 32bit (gcc-4.7) environment.
Merge branch 'topo-trema-C' into topo-trema-Ruby