fix compilation of history