Additional things for stdC++11