Fix for compilation issue for gcc version 4.7.2