Down port typed logs to boost-1.53