Issue #71: Fixed issue for ubuntu 13.04 platform (GCC 4.7)