now using c++11 branch of sfgui