g++4.8 dependency from boost::result_of?