Ubuntu 12.04/GCC 4.6.3 compatibility