[Thor] Fix compilation issue with C++11