fix compilation #1035