added workaround for incomplete c++11 support in gcc 4.7