bug fix: compilation error for g++ >= 4.8.1