Missing import

Multiple fixes to be more C++11-standard compliant.