fixes for ubuntu 14.04, especially new boost::shared_ptr -> std::shared_ptr