#83 fix compilation 2013