Workaround for Ubuntu 12.10 32bit (gcc-4.7) environment.