issue #3861, fix linux compile error