fix compilation issue (bug #3752)