Initial support for GCC 4.7

These changes are due to the increasingly C++11-compliant STL implementation.