Fix compile issue (presumably on BSD) (bug #5745)