fix g++-4.7 compilation - http://my.cdash.org/viewBuildError.php?buildid=678450